tools-xenpaging-prefix.diff
authorBastian Blank <waldi@debian.org>
Sat, 5 Jul 2014 09:47:08 +0000 (11:47 +0200)
committerHans van Kranenburg <hans@knorrie.org>
Sun, 8 Jul 2018 12:30:32 +0000 (13:30 +0100)
commit5e80fc3ab48da3ccaed473e172d7c238db8973e1
tree91c075fa8fdbd16b196f55c45d30c2e92f3f1bab
parent2eda95ab597bbd9b30071460abe5760b71533c4e
tools-xenpaging-prefix.diff

Patch-Name: tools-xenpaging-prefix.diff

Gbp-Pq: Topic prefix-abiname
Gbp-Pq: Name tools-xenpaging-prefix.diff
tools/xenpaging/Makefile